Proof theory and computational analysis
نویسندگان
چکیده
منابع مشابه
Proof theory and computational analysis
In this survey paper we start with a discussion how functionals of finite type can be used for the proof-theoretic extraction of numerical data (e.g. effective uniform bounds and rates of convergence) from non-constructive proofs in numerical analysis. We focus on the case where the extractability of polynomial bounds is guaranteed. This leads to the concept of hereditarily polynomial bounded a...
متن کاملProof theory and ordinal analysis
In the first p a r t we s h o w w h y o rd ina l s a n d o r d i n a l n o t a t i o n s a re n a t u r a l l y c o n n e c t e d wi th p r o o f t h e o r e t i c a l research . W e i n t r o d u c e the p r o g r a m of o r d i n a l analys is . T h e s e c o n d p a r t gives e x a m p l e s o f a p p l i c a t i o n s o f o r d i n a l analysis .
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولPhysics and proof theory
Axiomatization of Physics (and science in general) has many drawbacks that are correctly criticized by opposing philosophical views of science. This paper shows that, by giving formal proofs a more prominent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this approach allows, by means of proof theory, to open ne...
متن کاملAdmissible Proof Theory And
1 Prologue Ordinals made their entrance in proof theory through Gentzen's second consistency proof for Peano Arithmetic by transsnite induction up to " 0 , the latter being applied only to decidable predicates (cf. Gentzen 1938]). Gentzen's constructive use of ordinals as a method of analyzing formal theories has come to be a paradigm for much of proof theory from then on, particularly as exemp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1998
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80219-1